English dynamic type checking: tłumaczenie na inne języki